x11: round the scaled size *up* when we get a ConfigureNotify
authorOwen W. Taylor <otaylor@fishsoup.net>
Thu, 6 Nov 2014 21:17:33 +0000 (16:17 -0500)
committerAlexander Larsson <alexl@redhat.com>
Thu, 20 Nov 2014 09:19:27 +0000 (10:19 +0100)
commit608c25453b0e95a7fcc0ce9e81b3aa73e9bb39d6
tree234874e4da8a3cc242a176b5fff3602715b09d1b
parentf5d96f711058551f500f33b911ce814b74430ab6
x11: round the scaled size *up* when we get a ConfigureNotify

Although we specify a resize increment to try and get a size that is
a multiple of the window scale, maximization typically wins
over the resize increment, so the window might be odd sized.

Round *up* in this case, rather than down, since it's better to
truncate a line or two at the bottom and right of the window rather
than have a line or two that we don't know what to do with.

https://bugzilla.gnome.org/show_bug.cgi?id=739750
gdk/x11/gdkdisplay-x11.c